results for Quod Erat Demonstrandum